Parts · Full · Next ▶

top

Der Begriff Functional Programming System (abgekürzt FP-System) bezeichnet ein von John W. Backus entwickeltes Konzept funktionaler Programmiersprachen.cite-ref-1[1] Backus ging dabei von der Beobachtung aus, dass gängige Programmiersprachen Computerprogramme als ein kleinteilige serialisierte Datenmanipulation darstellen, da sie gedanklich vom von-Neumann'schen Maschinenmodell ausgehen. Daraus resultieren laut Backus zwei Probleme. Zum einen, dass von-Neumann-Programme schwer parallelisierbar sind. Zum anderen, dass es schwer ist, über die Eigenschaften von Von-Neumann-Programmen formal zu argumentieren oder sie zu transformieren. Das Functional Programming System adressiert diese Probleme durch Konstruktion eines Programms P {\displaystyle P} aus einer Komposition P = F n ∘ ∘ F n − − 1 ∘ ∘ F n − − 2 ∘ ∘ . . . ∘ ∘ F 1 {\displaystyle P=F_{n}\circ F_{n-1}\circ F_{n-2}\circ ...\circ F_{1}} . Dabei werden größere Mengen strukturierter Daten von einer Funktion zur nächsten weiter gereicht, was technisch eine Parallelisierung der Verarbeitung ermöglicht. Backus zog auch in Betracht, diese Arbeitsweise zur Grundlage einer neuen Computerarchitektur zu machen, die diese Möglichkeit ausnutzt.

In einer Rede anlässlich der Verleihung des Turing Awards an Backus im Jahr 1977 stellte dieser die Idee von FP-Systemen vor. Der Vortragstitel lautete: Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs.cite-ref-2[2] In einem weiteren Aufsatz legte sich Backus auf den Begriff Function-Level Programming fest.cite-ref-3[3]

• Funktionales Programm zur Berechnung des Skalarprodukts

• Notationen im FP-System

• Zahlen als Selektoren

• Weiterentwicklung von FP-Systemen

• FP-Implementierungen

• Siehe auch

• Literatur

• Einzelnachweise

• Weblinks

Parts · Full · Next ▶